p-group, metabelian, nilpotent (class 2), monomial, rational
Aliases: C22.31C24, C23.12C23, C2.52+ 1+4, C2.42- 1+4, (C2×C4)⋊5D4, C4⋊D4⋊7C2, C4.63(C2×D4), C22⋊Q8⋊6C2, C22.2(C2×D4), C4⋊C4.27C22, C2.16(C22×D4), (C2×C4).132C23, (C2×D4).65C22, C22⋊C4.2C22, (C2×Q8).59C22, (C22×C4).62C22, (C2×C4⋊C4)⋊18C2, (C2×C4○D4)⋊5C2, SmallGroup(64,218)
Series: Derived ►Chief ►Lower central ►Upper central ►Jennings
Generators and relations for C22.31C24
G = < a,b,c,d,e,f | a2=b2=c2=d2=e2=1, f2=a, ab=ba, dcd=fcf-1=ac=ca, ede=ad=da, ae=ea, af=fa, ece=bc=cb, bd=db, be=eb, bf=fb, df=fd, ef=fe >
Subgroups: 233 in 147 conjugacy classes, 81 normal (9 characteristic)
C1, C2, C2, C4, C4, C22, C22, C22, C2×C4, C2×C4, D4, Q8, C23, C23, C22⋊C4, C4⋊C4, C22×C4, C22×C4, C2×D4, C2×Q8, C4○D4, C2×C4⋊C4, C4⋊D4, C22⋊Q8, C2×C4○D4, C22.31C24
Quotients: C1, C2, C22, D4, C23, C2×D4, C24, C22×D4, 2+ 1+4, 2- 1+4, C22.31C24
Character table of C22.31C24
| class | 1 | 2A | 2B | 2C | 2D | 2E | 2F | 2G | 2H | 2I | 4A | 4B | 4C | 4D | 4E | 4F | 4G | 4H | 4I | 4J | 4K | 4L | |
| size | 1 | 1 | 1 | 1 | 2 | 2 | 4 | 4 | 4 | 4 | 2 | 2 | 2 | 2 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | |
| ρ1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | trivial |
| ρ2 | 1 | 1 | 1 | 1 | -1 | -1 | 1 | 1 | -1 | 1 | 1 | -1 | -1 | 1 | 1 | -1 | -1 | -1 | -1 | 1 | 1 | -1 | linear of order 2 |
| ρ3 | 1 | 1 | 1 | 1 | 1 | 1 | -1 | -1 | -1 | -1 | 1 | 1 | 1 | 1 | 1 | 1 | -1 | -1 | 1 | 1 | -1 | -1 | linear of order 2 |
| ρ4 | 1 | 1 | 1 | 1 | -1 | -1 | -1 | -1 | 1 | -1 | 1 | -1 | -1 | 1 | 1 | -1 | 1 | 1 | -1 | 1 | -1 | 1 | linear of order 2 |
| ρ5 | 1 | 1 | 1 | 1 | 1 | 1 | -1 | 1 | -1 | 1 | -1 | -1 | -1 | -1 | 1 | -1 | -1 | 1 | 1 | -1 | -1 | 1 | linear of order 2 |
| ρ6 | 1 | 1 | 1 | 1 | -1 | -1 | -1 | 1 | 1 | 1 | -1 | 1 | 1 | -1 | 1 | 1 | 1 | -1 | -1 | -1 | -1 | -1 | linear of order 2 |
| ρ7 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | -1 | 1 | -1 | -1 | -1 | -1 | -1 | 1 | -1 | 1 | -1 | 1 | -1 | 1 | -1 | linear of order 2 |
| ρ8 | 1 | 1 | 1 | 1 | -1 | -1 | 1 | -1 | -1 | -1 | -1 | 1 | 1 | -1 | 1 | 1 | -1 | 1 | -1 | -1 | 1 | 1 | linear of order 2 |
| ρ9 | 1 | 1 | 1 | 1 | -1 | -1 | -1 | -1 | -1 | 1 | 1 | -1 | -1 | 1 | -1 | 1 | 1 | 1 | 1 | -1 | 1 | -1 | linear of order 2 |
| ρ10 | 1 | 1 | 1 | 1 | 1 | 1 | -1 | -1 | 1 | 1 | 1 | 1 | 1 | 1 | -1 | -1 | -1 | -1 | -1 | -1 | 1 | 1 | linear of order 2 |
| ρ11 | 1 | 1 | 1 | 1 | -1 | -1 | 1 | 1 | 1 | -1 | 1 | -1 | -1 | 1 | -1 | 1 | -1 | -1 | 1 | -1 | -1 | 1 | linear of order 2 |
| ρ12 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | -1 | -1 | 1 | 1 | 1 | 1 | -1 | -1 | 1 | 1 | -1 | -1 | -1 | -1 | linear of order 2 |
| ρ13 | 1 | 1 | 1 | 1 | -1 | -1 | 1 | -1 | 1 | 1 | -1 | 1 | 1 | -1 | -1 | -1 | -1 | 1 | 1 | 1 | -1 | -1 | linear of order 2 |
| ρ14 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | -1 | -1 | 1 | -1 | -1 | -1 | -1 | -1 | 1 | 1 | -1 | -1 | 1 | -1 | 1 | linear of order 2 |
| ρ15 | 1 | 1 | 1 | 1 | -1 | -1 | -1 | 1 | -1 | -1 | -1 | 1 | 1 | -1 | -1 | -1 | 1 | -1 | 1 | 1 | 1 | 1 | linear of order 2 |
| ρ16 | 1 | 1 | 1 | 1 | 1 | 1 | -1 | 1 | 1 | -1 | -1 | -1 | -1 | -1 | -1 | 1 | -1 | 1 | -1 | 1 | 1 | -1 | linear of order 2 |
| ρ17 | 2 | -2 | 2 | -2 | 2 | -2 | 0 | 0 | 0 | 0 | -2 | 2 | -2 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | orthogonal lifted from D4 |
| ρ18 | 2 | -2 | 2 | -2 | -2 | 2 | 0 | 0 | 0 | 0 | -2 | -2 | 2 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | orthogonal lifted from D4 |
| ρ19 | 2 | -2 | 2 | -2 | -2 | 2 | 0 | 0 | 0 | 0 | 2 | 2 | -2 | -2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | orthogonal lifted from D4 |
| ρ20 | 2 | -2 | 2 | -2 | 2 | -2 | 0 | 0 | 0 | 0 | 2 | -2 | 2 | -2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | orthogonal lifted from D4 |
| ρ21 | 4 | 4 | -4 | -4 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | orthogonal lifted from 2+ 1+4 |
| ρ22 | 4 | -4 | -4 | 4 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | symplectic lifted from 2- 1+4, Schur index 2 |
►On 32 points
(1 3)(2 4)(5 7)(6 8)(9 11)(10 12)(13 15)(14 16)(17 19)(18 20)(21 23)(22 24)(25 27)(26 28)(29 31)(30 32)
(1 11)(2 12)(3 9)(4 10)(5 29)(6 30)(7 31)(8 32)(13 18)(14 19)(15 20)(16 17)(21 26)(22 27)(23 28)(24 25)
(1 4)(2 3)(5 32)(6 31)(7 30)(8 29)(9 12)(10 11)(13 19)(14 18)(15 17)(16 20)(21 24)(22 23)(25 26)(27 28)
(1 22)(2 23)(3 24)(4 21)(5 18)(6 19)(7 20)(8 17)(9 25)(10 26)(11 27)(12 28)(13 29)(14 30)(15 31)(16 32)
(1 14)(2 15)(3 16)(4 13)(5 28)(6 25)(7 26)(8 27)(9 17)(10 18)(11 19)(12 20)(21 31)(22 32)(23 29)(24 30)
(1 2 3 4)(5 6 7 8)(9 10 11 12)(13 14 15 16)(17 18 19 20)(21 22 23 24)(25 26 27 28)(29 30 31 32)
G:=sub<Sym(32)| (1,3)(2,4)(5,7)(6,8)(9,11)(10,12)(13,15)(14,16)(17,19)(18,20)(21,23)(22,24)(25,27)(26,28)(29,31)(30,32), (1,11)(2,12)(3,9)(4,10)(5,29)(6,30)(7,31)(8,32)(13,18)(14,19)(15,20)(16,17)(21,26)(22,27)(23,28)(24,25), (1,4)(2,3)(5,32)(6,31)(7,30)(8,29)(9,12)(10,11)(13,19)(14,18)(15,17)(16,20)(21,24)(22,23)(25,26)(27,28), (1,22)(2,23)(3,24)(4,21)(5,18)(6,19)(7,20)(8,17)(9,25)(10,26)(11,27)(12,28)(13,29)(14,30)(15,31)(16,32), (1,14)(2,15)(3,16)(4,13)(5,28)(6,25)(7,26)(8,27)(9,17)(10,18)(11,19)(12,20)(21,31)(22,32)(23,29)(24,30), (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32)>;
G:=Group( (1,3)(2,4)(5,7)(6,8)(9,11)(10,12)(13,15)(14,16)(17,19)(18,20)(21,23)(22,24)(25,27)(26,28)(29,31)(30,32), (1,11)(2,12)(3,9)(4,10)(5,29)(6,30)(7,31)(8,32)(13,18)(14,19)(15,20)(16,17)(21,26)(22,27)(23,28)(24,25), (1,4)(2,3)(5,32)(6,31)(7,30)(8,29)(9,12)(10,11)(13,19)(14,18)(15,17)(16,20)(21,24)(22,23)(25,26)(27,28), (1,22)(2,23)(3,24)(4,21)(5,18)(6,19)(7,20)(8,17)(9,25)(10,26)(11,27)(12,28)(13,29)(14,30)(15,31)(16,32), (1,14)(2,15)(3,16)(4,13)(5,28)(6,25)(7,26)(8,27)(9,17)(10,18)(11,19)(12,20)(21,31)(22,32)(23,29)(24,30), (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32) );
G=PermutationGroup([[(1,3),(2,4),(5,7),(6,8),(9,11),(10,12),(13,15),(14,16),(17,19),(18,20),(21,23),(22,24),(25,27),(26,28),(29,31),(30,32)], [(1,11),(2,12),(3,9),(4,10),(5,29),(6,30),(7,31),(8,32),(13,18),(14,19),(15,20),(16,17),(21,26),(22,27),(23,28),(24,25)], [(1,4),(2,3),(5,32),(6,31),(7,30),(8,29),(9,12),(10,11),(13,19),(14,18),(15,17),(16,20),(21,24),(22,23),(25,26),(27,28)], [(1,22),(2,23),(3,24),(4,21),(5,18),(6,19),(7,20),(8,17),(9,25),(10,26),(11,27),(12,28),(13,29),(14,30),(15,31),(16,32)], [(1,14),(2,15),(3,16),(4,13),(5,28),(6,25),(7,26),(8,27),(9,17),(10,18),(11,19),(12,20),(21,31),(22,32),(23,29),(24,30)], [(1,2,3,4),(5,6,7,8),(9,10,11,12),(13,14,15,16),(17,18,19,20),(21,22,23,24),(25,26,27,28),(29,30,31,32)]])
C22.31C24 is a maximal subgroup of
(C2×C4)⋊D8 Q8⋊D4⋊C2 (C2×C4).5D8 C4⋊C4.19D4 M4(2)⋊D4 M4(2)⋊4D4 C42⋊11D4 C42⋊12D4 (C2×D4)⋊21D4 (C2×Q8)⋊17D4 (C2×C8)⋊13D4 (C2×C8)⋊14D4 M4(2)⋊16D4 M4(2)⋊17D4 (C2×D4).303D4 (C2×D4).304D4 C22.38C25 C22.50C25 C22.77C25 C22.78C25 C22.81C25 C22.82C25 C4⋊2+ 1+4 C4⋊2- 1+4 C22.101C25 C22.123C25 C22.148C25 C22.149C25
C2p.2+ 1+4: C4.2+ 1+4 C4.162+ 1+4 C4.182+ 1+4 C4.192+ 1+4 C22.49C25 C22.100C25 C22.125C25 C22.128C25 ...
C22.31C24 is a maximal quotient of
C24.542C23 C24.545C23 C42.159D4 C42⋊13D4 C24.198C23 C24.244C23 C23.316C24 C24.252C23 C24.262C23 C23.385C24 C23.398C24 C42⋊18D4 C42.166D4 C42⋊19D4 C42.172D4 C42.180D4 C42.181D4 C42.182D4 C42⋊23D4 C42⋊25D4 C24.360C23 C24.361C23 C24.587C23 C42⋊28D4 C23.524C24 C23.525C24 C42.188D4 C23.530C24 C42⋊30D4 C42.192D4 C24.592C23 C23.556C24 C23.559C24 C42⋊32D4 C42.198D4 C23.571C24 C23.572C24 C24.384C23 C23.576C24 C23.581C24 C24.389C23 C23.583C24 C23.591C24 C23.593C24 C23.595C24 C23.602C24 C24.408C23 C23.605C24 C23.607C24 C23.612C24 C23.615C24 C23.622C24 C23.625C24 C23.626C24 C23.627C24 C24.459C23 C23.714C24 C42⋊34D4 C42.199D4 C42.201D4 C42⋊35D4
C2p.2- 1+4: C42.293D4 C42.294D4 C42.295D4 C42.296D4 C42.297D4 C42.298D4 C42.299D4 C42.300D4 ...
Matrix representation of C22.31C24 ►in GL6(ℤ)
| 1 | 0 | 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 0 | 0 | 0 |
| 0 | 0 | -1 | 0 | 0 | 0 |
| 0 | 0 | 0 | -1 | 0 | 0 |
| 0 | 0 | 0 | 0 | -1 | 0 |
| 0 | 0 | 0 | 0 | 0 | -1 |
| -1 | 0 | 0 | 0 | 0 | 0 |
| 0 | -1 | 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 0 | 0 | 0 |
| 0 | 0 | 0 | 1 | 0 | 0 |
| 0 | 0 | 0 | 0 | 1 | 0 |
| 0 | 0 | 0 | 0 | 0 | 1 |
| -1 | 0 | 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 0 | 0 | 0 |
| 0 | 0 | 0 | 1 | 0 | 0 |
| 0 | 0 | 1 | 0 | 0 | 0 |
| 0 | 0 | 0 | 0 | 0 | 1 |
| 0 | 0 | 0 | 0 | 1 | 0 |
| -1 | 0 | 0 | 0 | 0 | 0 |
| 0 | -1 | 0 | 0 | 0 | 0 |
| 0 | 0 | 0 | 0 | 0 | -1 |
| 0 | 0 | 0 | 0 | 1 | 0 |
| 0 | 0 | 0 | 1 | 0 | 0 |
| 0 | 0 | -1 | 0 | 0 | 0 |
| 0 | 1 | 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 0 | 0 | 0 |
| 0 | 0 | 0 | 0 | 1 | 0 |
| 0 | 0 | 0 | 0 | 0 | 1 |
| 0 | 0 | 1 | 0 | 0 | 0 |
| 0 | 0 | 0 | 1 | 0 | 0 |
| -1 | 0 | 0 | 0 | 0 | 0 |
| 0 | -1 | 0 | 0 | 0 | 0 |
| 0 | 0 | 0 | 1 | 0 | 0 |
| 0 | 0 | -1 | 0 | 0 | 0 |
| 0 | 0 | 0 | 0 | 0 | 1 |
| 0 | 0 | 0 | 0 | -1 | 0 |
G:=sub<GL(6,Integers())| [1,0,0,0,0,0,0,1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1],[-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1],[-1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,1,0],[-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,-1,0,0,0],[0,1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,1,0,0],[-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,-1,0,0,0,0,1,0,0,0,0,0,0,0,0,-1,0,0,0,0,1,0] >;
C22.31C24 in GAP, Magma, Sage, TeX
C_2^2._{31}C_2^4 % in TeX
G:=Group("C2^2.31C2^4"); // GroupNames label
G:=SmallGroup(64,218);
// by ID
G=gap.SmallGroup(64,218);
# by ID
G:=PCGroup([6,-2,2,2,2,-2,2,217,650,188,579,69]);
// Polycyclic
G:=Group<a,b,c,d,e,f|a^2=b^2=c^2=d^2=e^2=1,f^2=a,a*b=b*a,d*c*d=f*c*f^-1=a*c=c*a,e*d*e=a*d=d*a,a*e=e*a,a*f=f*a,e*c*e=b*c=c*b,b*d=d*b,b*e=e*b,b*f=f*b,d*f=f*d,e*f=f*e>;
// generators/relations
Export